Vaglini, F.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Concurrent behavior: A construct to specify the external behavior of objects in object databases

Nicoletta De Francesco, Gigliola Vaglini

Journal:

Distributed and Parallel Databases

Year:

1994

Language:

english

File:

PDF, 1.52 MB

english, 1994

2

Management of nodal metastases from head and neck melanoma

F. Belli, M. Santinami, D. Rovini, M. Vaglini, M. Nava

Journal:

Journal of Surgical Oncology

Year:

1989

Language:

english

File:

PDF, 568 KB

english, 1989

3

A “pay-how-you-drive” car insurance approach through cluster analysis

Carfora, Maria Francesca, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, Gigliola

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2018

Language:

english

File:

PDF, 3.11 MB

english, 2018

4

Design and simulation of the emergent behavior of small drones swarming for distributed target localization

Alfeo, Antonio L., Cimino, Mario G.C.A., Francesco, Nicoletta De, Lega, Massimiliano, Vaglini, Gigliola

Journal:

Journal of Computational Science

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

5

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Urban Swarms: A new approach for autonomous waste management

Alfeo, Antonio Luca, Ferrer, Eduardo Castello, Carrillo, Yago Lizarribar, Grignard, Arnaud, Pastor, Luis Alonso, Sleeper, Dylan T., Cimino, Mario G. C. A., Lepri, Bruno, Vaglini, Gigliola, Larson, Ken

Year:

2019

Language:

english

File:

PDF, 4.67 MB

english, 2019

6

LORETO: a tool for reducing state explosion in verification of LOTOS programs

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Software: Practice and Experience

Year:

1999

Language:

english

File:

PDF, 171 KB

english, 1999

7

A local approach for temporal model checking of Java bytecode

Antonella Santone, Gigliola Vaglini

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

8

Nicotine Prevents Experimental Parkinsonism in Rodents and Induces Striatal Increase of Neurotrophic Factors

Roberto Maggio, Marco Riva, Francesca Vaglini, Francesco Fornai, Raffaella Molteni, Marianna Armogida, Giorgio Racagni, Giovanni U. Corsini

Journal:

Journal of Neurochemistry

Year:

1998

Language:

english

File:

PDF, 975 KB

english, 1998

9

In Vitro Cytotoxic Activities of 2-Alkyl-4,6-diheteroalkyl-1,3,5-triazines: New Molecules in Anticancer Research

Menicagli, Rita, Samaritani, Simona, Signore, Giovanni, Vaglini, Francesca, Dalla Via, Lisa

Journal:

Journal of Medicinal Chemistry

Year:

2004

Language:

english

File:

PDF, 1018 KB

english, 2004

10

[IEEE 2009 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WowMoM) - Kos, Greece (2009.06.15-2009.06.19)] 2009 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks & Workshops - Link scheduling with end-to-end delay constraints in Wireless Mesh Networks

Cappanera, P., Lenzini, L., Lori, A., Stea, G., Vaglini, G.

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

11

[IEEE 2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM) - Montreal, QC, Canada (2010.06.14-2010.06.17)] 2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM) - Optimal link scheduling for real-time traffic in wireless mesh networks in both per-flow and per-path frameworks

Cappanera, Paola, Lenzini, Luciano, Lori, Alessandro, Stea, Giovanni, Vaglini, Gigliola

Year:

2010

Language:

english

File:

PDF, 414 KB

english, 2010

12

[ASME ASME 2011 Pressure Vessels and Piping Conference - Baltimore, Maryland, USA (July 17–21, 2011)] ASME 2011 Pressure Vessels and Piping Conference: Volume 5 - Cylinder Valves Reliability and Performance in Booster-Primary Compressors

Giacomelli, Enzo, Schiavone, Massimo, Vaglini, Claudio

Year:

2011

Language:

english

File:

PDF, 404 KB

english, 2011

13

Grafted Neural Precursors Integrate Into Mouse Striatum, Differentiate and Promote Recovery of Function Through Release of Erythropoietin in MPTP-Treated Mice

Carelli, S., Giallongo, T., Viaggi, C., Gombalova, Z., Latorre, E., Mazza, M., Vaglini, F., Di Giulio, A. M., Gorio, A.

Journal:

Year:

2016

Language:

english

File:

PDF, 4.04 MB

english, 2016

14

[ASME ASME 2014 Pressure Vessels and Piping Conference - Anaheim, California, USA (Sunday 20 July 2014)] Volume 5: High-Pressure Technology; ASME NDE Division; 22nd Scavuzzo Student Paper Symposium and Competition - Capacity Control Systems of LDPE Compressors and Influence on Cylinder Valves

Giacomelli, Enzo, Raggi, Andrea, Giampà, Antonio, Vaglini, Claudio

Year:

2014

Language:

english

File:

PDF, 2.95 MB

english, 2014

15

A Stigmergy-Based Analysis of City Hotspots to Discover Trends and Anomalies in Urban Transportation Usage

Alfeo, Antonio Luca, Cimino, Mario G. C. A., Egidi, Sara, Lepri, Bruno, Vaglini, Gigliola

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2018

Language:

english

File:

PDF, 2.36 MB

english, 2018

16

Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions

Cimino, Mario, Lazzeri, Alessandro, Pedrycz, Witold, Vaglini, Gigliola

Journal:

Year:

2018

Language:

english

File:

PDF, 3.36 MB

english, 2018

17

Using an autoencoder in the design of an anomaly detector for smart manufacturing

Alfeo, Antonio L., Cimino, Mario G.C.A., Manco, Giuseppe, Ritacco, Ettore, Vaglini, Gigliola

Journal:

Pattern Recognition Letters

Year:

2020

File:

PDF, 995 KB

2020

18

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation

Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

Journal:

Simulation Modelling Practice and Theory

Year:

2020

File:

PDF, 2.35 MB

2020

19

Soft tissue limb sarcomas : Italian clinical trials with hyperthermic antiblastic perfusion

Carlo R. Rossi, Mirto Foletto, Franco Di Filippo, Maurizio Vaglini, Michele Anza', Alberto Azzarelli, Pierluigi Pilati, Simone Mocellin, Mario Lise

Journal:

Year:

1999

Language:

english

File:

PDF, 104 KB

english, 1999

20

Bans: A cutaneous region with no prognostic significance in patients with melanoma

Natale Cascinelli, Maurizio Vaglini, Rosaria Bufalino, Alberto Morabito

Journal:

Year:

1986

Language:

english

File:

PDF, 322 KB

english, 1986

21

Treatment of primary or relapsing limb cancer by isolation perfusion with high-dose alpha-tumor necrosis factor, gamma-interferon, and melphalan

Maurizio Vaglini, Filiberto Belli, Mario Ammatuna, Maria Grazia Inglese, Renato Manzi, Augusto Prada, Laura Persiani, Mario Santinami, Nicola Santoro, Natale Cascinelli

Journal:

Year:

1994

Language:

english

File:

PDF, 834 KB

english, 1994

22

Prognosis of stage I melanoma of the skin. Who collaborating centres for evaluation of methods of diagnosis and treatment of melanoma

Dr. N. Cascinelii, A. Morabito, R. Bufalino, E. P. Vander Esch, F. Preda, M. Vaglini, D. Rovini, S. Orefice

Journal:

International Journal of Cancer

Year:

1980

Language:

english

File:

PDF, 490 KB

english, 1980

23

HLA complex and familial malignant melanoma

Giuseppe Pellegris, Maria Teresa Illeni, Dario Rovini, Maurizio Vaglini, Natale Cascinelli, Achille Ghidoni

Journal:

International Journal of Cancer

Year:

1982

Language:

english

File:

PDF, 240 KB

english, 1982

24

Prognosis of skin melanoma with regional node metastases (stage II)

Natale Cascinelli, Maurizio Vaglini, Maurizio Nava, Mario Santinami, Raffaele Marolda, Dario Rovini, Claudio Clemente, Rossaria Bufalino, Alberto Morabito

Journal:

Journal of Surgical Oncology

Year:

1984

Language:

english

File:

PDF, 471 KB

english, 1984

25

Seven years experience with hyperthermic perfusions in extracorporeal circulation for melanoma of the extremities

Mario Santinami, Filiberto Belli, Natale Cascinelli, Dario Rovini, Dr. Maurizio Vaglini

Journal:

Journal of Surgical Oncology

Year:

1989

Language:

english

File:

PDF, 773 KB

english, 1989

26

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Journal of Computer and System Sciences

Year:

1999

Language:

english

File:

PDF, 296 KB

english, 1999

27

Model Checking Multithreaded Programs by Means of Reduced Models

Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 348 KB

english, 2004

28

Efficient link scheduling for online admission control of real-time traffic in wireless mesh networks

P. Cappanera, L. Lenzini, A. Lori, G. Stea, G. Vaglini

Journal:

Computer Communications

Year:

2011

Language:

english

File:

PDF, 1.63 MB

english, 2011

29

A user-friendly interface to specify temporal properties of concurrent systems

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Information Sciences

Year:

2007

Language:

english

File:

PDF, 528 KB

english, 2007

30

Automated extraction and classification of dynamic metrical features of morphological development in dissociated Purkinje neurons

L. Billeci, G. Pioggia, F. Vaglini, A. Ahluwalia

Journal:

Journal of Neuroscience Methods

Year:

2010

Language:

english

File:

PDF, 992 KB

english, 2010

31

Compositionality and locality for improving model checking in the selective mu-calculus

Antonella Santone, Gigliola Vaglini

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 938 KB

english, 2005

32

Abstract interpretation of trace semantics for concurrent calculi

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 126 KB

english, 1999

33

Reusing LOTOS specifications

Antonella Santone, Gigliola Vaglini

Journal:

Microprocessors and Microsystems

Year:

2001

Language:

english

File:

PDF, 187 KB

english, 2001

34

Formula-based abstractions and symbolic execution for model checking programs

Antonella Santone, Gigliola Vaglini

Journal:

Microprocessors and Microsystems

Year:

2004

Language:

english

File:

PDF, 159 KB

english, 2004

35

State space reduction by non-standard semantics for deadlock analysis

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.96 MB

english, 1998

36

An approach to system design based on P/T net simulation

C. Bernardeschi, N. De Francesco, G. Vaglini

Journal:

Information and Software Technology

Year:

2001

Language:

english

File:

PDF, 330 KB

english, 2001

37

Clonidine Suppresses 1-Methyl-4-Phenyl-1,2,3,6-Tetrahydropyridine-Induced Reductions of Striatal Dopamine and Tyrosine Hydroxylase Activity in Mice

Francesco Fornai, Maria Grazia Alessandrì, Flavia Fascetti, Francesca Vaglini, Giovanni U. Corsini

Journal:

Journal of Neurochemistry

Year:

1995

Language:

english

File:

PDF, 736 KB

english, 1995

38

Efficient model checking of properties of a distributed application: a multimedia case study

Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 296 KB

english, 2002

39

Modular formal verification of specifications of concurrent systems

Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Journal:

Software Testing, Verification and Reliability

Year:

2008

Language:

english

File:

PDF, 273 KB

english, 2008

40

Striatal increase of neurotrophic factors as a mechanism of nicotine protection in experimental parkinsonism

R. Maggio, M. Riva, F. Vaglini, F. Fornai, G. Racagni, G. U. Corsini

Journal:

Journal of Neural Transmission

Year:

1997

Language:

english

File:

PDF, 969 KB

english, 1997

41

Isolation perfusion of the lower limb with platinum

M. Vaglini, F. Belli, M. Santinami

Journal:

World Journal of Surgery

Year:

1988

Language:

english

File:

PDF, 311 KB

english, 1988

42

Cancer patients' lymphocytes contain CD3+CD4+cells that proliferate in response to autologous tumor cells in the presence of exogenous low-dose interleukin-2 and autologous accessory cells

Marina Radrizzani, Michele Quaia, Barbara Benedetti, Salvatore Andreola, Maurizio Vaglini, Enzo Galligioni, Giuseppe Fossati, Giorgio Parmiani

Journal:

Cancer Immunology, Immunotherapy

Year:

1989

Language:

english

File:

PDF, 872 KB

english, 1989

43

Adoptive immunotherapy of advanced melanoma patients with interleukin-2 (IL-2) and tumor-infiltrating lymphocytes selected in vitro with low doses of IL-2

Flavio Arienti, Filiberto Belli, Licia Rivoltini, Carlo Gambacorti-Passerini, Luigi Furlan, Luigi Mascheroni, Augusto Prada, Maurilia Rizzi, Edoardo Marchesi, Maurizio Vaglini, Giorgio Parmiani, Natal

Journal:

Cancer Immunology, Immunotherapy

Year:

1993

Language:

english

File:

PDF, 890 KB

english, 1993

44

A framework for data-flow distributed processing

N. De Francesco, G. Perego, G. Vaglini, M. Vanneschi

Journal:

Year:

1980

Language:

english

File:

PDF, 1.31 MB

english, 1980

45

Dopamine agonists and analogues have an antiproliferative effect on CHO-K1 cells

Roberto Maggio, Marianna Armogida, Marco Scarselli, Federica Salvadori, Biancamaria Longoni, Carla Pardini, Andrea Chiarenza, Serena Chiacchio, Francesca Vaglini, Renato Bernardini, Anna Colzi, Giovan

Journal:

Neurotoxicity Research

Year:

1999

Language:

english

File:

PDF, 1.81 MB

english, 1999

46

Is lithium able to reverse neurological damage induced by vinca alkaloids?

M. Petrini, F. Vaglini, G. Cervetti, M. Cavalletti, F. Sartucci, L. Murri, G. U. Corsini

Journal:

Journal of Neural Transmission

Year:

1999

Language:

english

File:

PDF, 99 KB

english, 1999

47

The Role of Mitochondria in Stem Cell Biology

Claudia Nesti, Livia Pasquali, Francesca Vaglini, Gabriele Siciliano, Luigi Murri

Journal:

Bioscience Reports

Year:

2007

Language:

english

File:

PDF, 135 KB

english, 2007

48

Reduced Models for Efficient CCS Verification

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.52 MB

english, 2005

49

Assessment and comparison of neural morphology through metrical feature extraction and analysis in neuron and neuron–glia cultures

L. Billeci, G. Pioggia, F. Vaglini, A. Ahluwalia

Journal:

Journal of Biological Physics

Year:

2009

Language:

english

File:

PDF, 782 KB

english, 2009

50

A Novel Method to Produce Immobilised Biomolecular Concentration Gradients to Study Cell Activities: Design and Modelling

Giovanni Vozzi, Tommaso Lenzi, Francesca Montemurro, Carla Pardini, Francesca Vaglini, Arti Ahluwalia

Journal:

Molecular Biotechnology

Year:

2012

Language:

english

File:

PDF, 872 KB

english, 2012